Computer arithmetic - PDFSEARCH.IO - Document Search Engine

Computer arithmetic
Results: 1849

#	Item
751	Mainstream Contributions of Interval Computations in Engineering and Scientific Computing Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2008-11-23 16:32:42 Computer arithmetic Data types Numerical analysis Arithmetic Interval arithmetic Automated theorem proving Interval Floating point Integral Mathematics Mathematical software Science
752	3 Tools for Software Evolution Men are only as good as their technical development allows them to be.—George Orwell, Inside the Whale Games, statistical tests, and genetic algorithms all rely on random numbers. Unfort Add to Reading List Source URL: aiinfinance.com Language: English - Date: 2012-06-26 15:09:42 Software engineering Randomness C++ Linear congruential generator Modular arithmetic Random number generation Pseudorandomness Sequence container C++ classes Computer programming Computing Pseudorandom number generators
753	Australian Hydrological Geospatial Fabric (Geofabric) Data Dictionary Surface Network Version 2.1 – November 2012 Add to Reading List Source URL: www.bom.gov.au Language: English - Date: 2012-11-15 19:58:49 Type theory Computer arithmetic Integer Relation Domain name Lightweight Directory Access Protocol Null Subtype polymorphism Computing Data types Software engineering
754	Sage Reference Manual: Fixed and Arbitrary Precision Numerical Fields Release 6.6.beta0 The Sage Development Team Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:20 Computing Data types Analytic functions Exponentials Sage Arbitrary-precision arithmetic Floating point MPFR Rounding Mathematics Computer arithmetic Mathematical software
755	Efficient communication by breathing Tom H. Shorrock, David J.C. MacKay, and Chris J. Ball Cavendish Laboratory, Cambridge, CB3 0HE, United Kingdom Abstract. The arithmetic-coding-based communication system, Dasher, can Add to Reading List Source URL: www.inference.phy.cam.ac.uk Language: English - Date: 2005-07-09 09:49:55 Assistive technology User interface techniques User interfaces Dasher GNOME Input/output Morse code Sip-and-puff Computer keyboard Software Humanâ€“computer interaction Computing
756	Wording for std::numeric_limits::lowest() Document #: Date: Revises: Project: Reference: Add to Reading List Source URL: www.open-std.org Language: English - Date: 2007-07-19 06:39:08 NaN Expected value Numbers Computer arithmetic Computing Floating point
757	System V Application Binary Interface Intel386 Architecture Processor Supplement Version 1.0 Edited by H.J. Lu , David L Kreitzer2 , Milind Girkar3 , Zia Ansari4 1 Add to Reading List Source URL: www.uclibc.org Language: English - Date: 2015-03-06 01:20:02 Data types X86 architecture C programming language Computer arithmetic C++ Application binary interface X86-64 Long double 64-bit Computing Computer architecture Computer programming
758	Empiricism, Probability, and Knowledge of Arithmetic Sean Walsh, Department of Logic and Philosophy of Science, University of California, Irvine The topic of this paper is the tenability of a certain type of empiricism a Add to Reading List Source URL: www.pfeifer-research.de Language: English - Date: 2013-05-16 13:22:33 Proof theory Logic in computer science Computability theory Effective descriptive set theory Peano axioms Logicism Second-order arithmetic Philosophy of mathematics Axiom Mathematics Mathematical logic Logic
759	Bignum Arithmetic Felix von Leitner CCC Berlin [removed] December 2006 Abstract Add to Reading List Source URL: dl.fefe.de Language: English - Date: 2006-12-25 09:51:14 Software engineering Data types C++ Primitive types C programming language Arbitrary-precision arithmetic Sizeof GNU Multiple Precision Arithmetic Library Integer Computing Computer arithmetic Computer programming
760	Papers on Supercomputer SX Series Effects Outline of High-Speed Quad-Precision Arithmetic Package ASLQUAD OGATA Ryusei, KUBO Yoshiyuki, TAKEI Toshifumi Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:43:37 Software Floating point Arbitrary-precision arithmetic Fortran Numerical analysis Rounding Computer NaN Mathematica Computing Mathematical software Computer arithmetic

UPDATE